Analysing Snapshot Isolation
muratbuffalo.blogspot.com·20h·
Discuss: Hacker News
🧠Separation Logic
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·22h
📊Static Analysis
How Hash Maps Work
hackernoon.com·13h
🔐Hash Functions
Consistency over Availability: How rqlite Handles the CAP theorem
philipotoole.com·9h·
Discuss: Hacker News
🛡️Byzantine Fault Tolerance
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·2d·
Discuss: Hacker News
🔒Linear Types
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·11h·
Discuss: Hacker News
🌐Protocol Synthesis
Building brittle software
blog.kronis.dev·2d
❄️Nix Flakes
Updated Stacks Project
math.columbia.edu·1d
🔄Language Evolution
Taming Go’s Garbage Collector with Memory Pools: A Practical Guide
dev.to·1d·
Discuss: DEV
🧠Memory Allocators
Software Internals Book Club
eatonphil.com·1d
⚙️Operating System Design
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🌳Archive Merkle Trees
C and VLAs (Variable Length Arrays)
subethasoftware.com·8h
🔩Systems Programming
SIEVE — a better algorithm than LRU?
blog.apnic.net·1d
💨Cache Analysis
Case study: enhancing SBOMs with cdsbom at the Linux Foundation
opensource.org·1d
🔓Open Source Software
Software books I wish I could read
buttondown.com·13h·
Discuss: Hacker News
🔄Language Evolution
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·1d
🔬Refinement Types
Litestar is worth a look
b-list.org·6h·
Discuss: Lobsters, Hacker News
⚙️WASM Runtime
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·9h
🧪Property-Based Testing